Semi-local Model of Computations on Graphs to Break the Local Symmetry: Work in Progress

We consider finite connected undirected graphs without self-loops as a model of computer networks. The nodes of the graph represent computers or processors, while the edges of the graph correspond to the links between them. We present a model of distributed computations, called semi-local. This extension of the classical local model breaks the local symmetry. As a result, many useful tasks become deterministically solvable in every network assuming a very small initial knowledge about its graph representation. One of these tasks is a creation of a token in an arbitrary anonymous ring – an example of election of a leader. A semi-local solution to this problem is presented.     

A Self-selection Technique for Flooding and Routing in Wireless Ad-hoc Networks

There is a fundamental difference between wireless and wired networks, since the latter employ point-to-point communication while the former use broadcast transmission as the communication primitive. In this paper, we describe an algorithm, called self-selection, which takes advantage of broadcast communication to efficiently implement the basic operation of selecting a node possessing some desired properties among all the neighbors of the requestor. Self-selection employs a prioritized transmission back-off delay scheme in which each node’s delay of transmitting a signal is dependent on the probability of the node’s ability to best perform a pertinent task, and in turn, enables the node to autonomously select itself for the task. We demonstrate the benefits of self-selection in two basic wireless ad hoc network communication algorithms: flooding and routing. By relating back-off delay to the signal strength of a received packet, we design an efficient variant of conventional flooding called Signal Strength Aware Flooding. By using distance-to-destination to derive back-off delay, we design a novel and fault-tolerant wireless ad hoc network routing protocol named Self-Selective Routing.

A unified framework for cluster manager election and clustering mechanism in mobile ad hoc networks

In Mobile Ad-hoc NETwork (MANET), every node could become active dynamically. Therefore, those nodes will affect the stability of network topology because of clustering and de-clustering, and continuously make reconfiguration for the groups of network, all that will influence the overall function of network. How to choose a cluster manager to keep the stability of network topology is an important issue. In this paper, a mechanism for the designation of clustering and cluster manager is given by MANET. The mechanism is named as Unified Framework Clustering Mechanism (UFCM for short), which is a kind of processing mechanism under consideration in multi-network service, such as processing mode of initial state in the network system, processing mode of access of nodes in the group, and the processing mode concerned on failing to manage the group because the cluster manager is erroneous. Beyond that, we also propose a backup manager to take the work of the cluster manager when the cluster manager fails.     

分层Ad Hoc网络中同步领导者选举算法的研究

近年来,Ad Hoc网络以其方便、快捷、不受网络基础设施制约等特点得到了广泛的研究和应用。然而,在分层Ad Hoc网络进行视频信息传输的过程中,由于节点移动及网络状况等原因有可能出现簇头节点缺失的情况,影响网络的正常通信。针对分层Ad Hoc网络中高层节点移动性差这一特点设计并实现了基于分层Ad Hoc网络高层网络同步领导者选举算法,解决了上述问题。系统还引入了副主席机制,并通过实验证明,当网络中存在着上一轮选举后产生的副主席节点时,选举时间将显著缩短。算法也可应用于小型临时视频会议系统中以解决视频会议中主持人缺失及更替的问题。     

基于欺负算法的优化算法

分布式算法中的欺负算法在选举协调者的过程中由于传输了大量信包而导致性能降低。该文在分析原有算法及其数学模型的基础上,提出一种优化算法并建立了相应的数学模型,对2种算法进行比较可以得出,优化算法在避免了选举失败或选举错误的基础上有效降低了选举过程中信包的传输数量,提高了通信性能,避免了网络延迟和网络拥塞。     

一种基于移动性的无线传感器网络分簇路由协议

近年来,包含移动节点的无线传感器网络逐渐得到了广泛应用,传统的无线传感器网络路由协议已不能适用于节点移动的场景。LEACH-Mobile协议是一种较适用于移动无线传感器网络的路由协议,它在LEACH协议基础上对节点移动的处理进行了优化。本文针对移动的场景提出了一种基于移动性的无线传感器网络分簇路由协议MCR,该协议包含了一个基于移动性的簇头选举算法MCE和一个自适应LEACH-Mobile算法ALM,保证了簇头尽可能地在相对移动性最小的节点中选择,充分考虑了节点的移动性因素和剩余能量。仿真实验结果显示,MCR协议能够有效提高在移动环境下的吞吐量。     

惠州抽水蓄能电站黑启动备用电源的容量选择

黑启动是电力系统故障后迅速恢复的重要措施之一,可减少系统事故损失,满足紧急事故备用的要求.本文对惠州抽水蓄能电站黑启动备用电源设置的必要性、可行性作分析,并根据参加黑启动所必需的厂用电负荷,计算出启动这些负荷所需的电源容量.     

新型苦味屏蔽剂5''''-腺苷单磷酸钠的合成

以次黄嘌呤为原料,经氯代、缩合、氨解、磷酸化、中和五步反应制备新型苦味屏蔽剂5’-腺苷单磷酸钠,总收率达37.0%。     

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings

We present a randomized self-stabilizing leader election protocol and a randomized self-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirectional rings of any size. These protocols are space optimal. We also give a formal and complete proof of these protocols. To this end, we develop a complete model for probabilistic self-stabilizing distributed systems which clearly separates the non deterministic behavior of the scheduler from the randomized behavior of the protocol. This framework includes all the necessary tools for proving the self- stabilization of a randomized distributed system: definition of a probabilistic space and definition of the self-stabilization of a randomized protocol. We also propose a new technique of scheduler management through a self-stabilizing protocol composition (cross-over composition). Roughly speaking, we force all computations to have a fairness property under any scheduler, even under an unfair one. This work was done while Maria Gradinariu was working at LRI, Univ. Paris-Sud, CNRS.     

异步网络模型中轮询与选举算法的研究与实现

分布式算法是用于解决多个互连处理器运行问题的算法.分布式算法的各部分并发和独立地运行,每一部分只承载有限的信息.分布式算法的异步网络模型是一个输入/输出自动机模型,节点之间靠消息传递状态和数据信息.所描述的异步网络模型是建立在图论基础上的裸异步模型.分析了分布式算法的基本算法,研究了异步网络模型建立的基本方法.在该模型之上,重点讨论了分布式波动算法中的轮询与选举算法,并用C语言模拟实现了该算法.